- 定理證明技術(shù)
- theorem: n. 1.(能證明的)一般原理，公理，定律，法則。 2. ...
- prove: vt. ( -d; -d, 〔古、美〕 proven ) ...
- technique: n. 1.(專(zhuān)門(mén))技術(shù)；(藝術(shù)上的)技巧，技能。 2.手 ...
- theorem proving: 定理證明
- automated theorem proving: 自定理明; 自動(dòng)定理證明
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯